「年末年始ってのは、サーバメンテとかGithub Pagesのメンテをするシーズンなんですよ。大掃除や年賀状と同じ意味で」って学生に説明しておいた。